<!DOCTYPE html>
<html>
<head>
<title>AutoTap</title>
</head>
<body>

<h1>Please input the user id and the task id you want to test.</h1>
<form action="/autotap/" method="post">
    User ID:<br>
    <input type="text" name="user" value="1">
    <br>
    Task ID:<br>
    <input type="text" name="task" value="1">
    <br>
    LTL to check:<br>
    <input type="text" name="ltl" value="1">
    <br><br>
    <input type="submit" value="Submit">
</form>

</body>
</html>
